<html>
<head>
<title>Cryptol Documentation</title>
<meta http-equiv="refresh"
      content="0; url=https://galoisinc.github.io/cryptol/master/RefMan.html">
</head>
<body>
<a href="master/RefMan.html">Cryptol Reference Manual</a>
</body>
</html>
